System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
661	Specification of MiniZinc The G12 Team NICTA, Victoria Research Lab, Melbourne, Australia November[removed]MiniZinc version 2.0) Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2014-12-08 22:18:01 Programming language theory Type theory Procedural programming languages C++ ALGOL 68 Primitive data type Type system SQL C++ classes Computing Software engineering Data types
662	DRAFT REPORT CONCERNING SPACE DATA SYSTEM STANDARDS PARAMETER VALUE LANGUAGE— A TUTORIAL Add to Reading List Source URL: public.ccsds.org Language: English - Date: 2005-04-11 10:31:38 Consultative Committee for Space Data Systems Programming language theory Software engineering Parameter Value Language ALGOL 68 Null Computing CCSDS Committees
663	Microsoft Word - rundown%[removed]%20final Add to Reading List Source URL: www.healthyhkec.org Language: English - Date: 2008-04-05 17:31:30 Lisp programming language Data types Type theory Formal languages M-expression Lisp S-expression Type system Variable Software engineering Computing Programming language theory
664	Implementation of Axiomatic Language Walter W. Wilson [removed] Univ. of Texas at Arlington Advisor: Dr. Jeff Lei ICLP 2011 Doctoral Consortium July 6, 2011 Lexington, Kentucky Add to Reading List Source URL: www.axiomaticlanguage.org Language: English - Date: 2012-06-29 15:52:25 Lisp programming language Data types Type theory Formal languages M-expression Lisp S-expression Type system Variable Software engineering Computing Programming language theory
665	Axiomatic Language http://www.axiomaticlanguage.org/ Walter W. Wilson Lockheed Martin Emerging Languages Camp Strange Loop 2013 Add to Reading List Source URL: www.axiomaticlanguage.org Language: English - Date: 2013-09-23 18:11:56 Computing S-expression Function Axiom Expression Type system Type theory CAL Actor Language Regular expression Mathematics Lisp programming language Logic
666	Automatic Programming Using Axiomatic Language Walter W. Wilson & Yu Lei, The Univ. of Texas at Arlington This grand challenge seeks to improve programmer productivity and software reliability. We assert that the ideal p Add to Reading List Source URL: www.axiomaticlanguage.org Language: English - Date: 2013-01-14 11:58:09 Computer programming Formal specification Programming language Specification C Software development process Ada Algorithm Axiomatic system Computing Formal methods Software engineering
667	Free download - Online Programming e-Books SAP : http://www.onestopsap.com Testing : http://www.onestoptesting.com Academic Tutorials : http://www.academictutorials.com General Programming Add to Reading List Source URL: nilachakra.org Language: English - Date: 2010-06-02 01:24:22 Programming paradigms Cross-platform software Perl Object-oriented programming Coding conventions Programming language Conditional System time Computing Software engineering Computer programming
668	Tiger Language Reference Manual Prof. Stephen A. Edwards Columbia University lvalue := expr id ( expr-listopt ) ( expr-seqopt ) Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2002-03-19 09:03:39 Procedural programming languages Recursion Formal languages Expr Perl ECL programming language Type system ALGOL 68 C Computing Software engineering Computer programming
669	Going Against the Flow for Type-less Programming Sean McDirmid Microsoft Research Beijing China [removed] Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-03-31 10:51:45 Computing Type system Subtype polymorphism Type class Type inference Covariance and contravariance Type safety Hindley–Milner Polymorphism Type theory Software engineering Programming language theory
670	Working Spaces: Virtual Machines in the Grid Kate Keahey [removed] Argonne National Laboratory Tim Freeman, Frank Siebenlist Add to Reading List Source URL: toolkit.globus.org Language: English - Date: 2006-04-13 14:21:19 VMware Programming language implementation Xen Hypervisor NetBSD Hardware virtualization Comparison of platform virtual machines System software Software Virtual machines

UPDATE